Is this the same as just saying new XYZ inside of a forAll?