LeoColman
forAll(Prog.ints(0,100)) { a -> a * a == a squared }
forAll(Arb.ints(100, max)) { a -> a * a == a squared }