Use Arbitrary properly