• Can't have empty then clauses (use true as a no-op).
• Problematic code:
• Correct code:
• Rationale:
• Exceptions: