passing quickcheck