• The control-flow mess
• Some ugly code
• How that code is fragile
• What's the alternative?
• Reduction rules
• Downsides
• What I'd like instead