Added some illu for QuickCheck