Exercise 8-9: Prop.&&