progress making quickcheck works