Introduce some Quickcheck properties