sam
forall( row(2, 4), row(3, 9), row(4, 16), row(5, 25) ) { root, square -> root * root shouldBe square }