A06 Beginning Property-Based Testing