Upper bound for QuickCheck.