Test and Propertest You Do