9 2/6: Properties and random testing