Solve quickcheck