first step of quickCheck tests