working on quickcheck style tests