QuickCheck post