Quickcheck'd even more!