Got first general forAll test to pass.