4.6 Example: exhaustivity and mutual exclusivity