Add map Arbitrary