I cut this section from the talk everywhere except Edinburgh, due to lack of time. It's my take on the `accumulator transformation'.
Next: the Unifier property | Prev: it's a knockout | Up: contents