Reduction order
A normal-order reduction sequentially applies the leftmost available reductions first
An applicative-order reduction sequentially applies the leftmost innermost reduction first
This is a little like top-down vs. bottom-up parsing and choosing what to reduce when