quickcheck should return a bool