remove copied Arbitrary