Exercise 2

Deducing