Exercise 7 - Property Verification