add quickcheck