Arve Limited (QuickCheck)