Start using quickcheck