Begin implementing quickcheck