16.3.5. Exhaustive Events