QuickCheck - Franki