add rantly for QuickCheck