Quickcheck'd more