set up quickCheck, sort of