Clarify two rule bodies.
An algebraic simplifier is a fox; it knows many things.
Explain and document patterns.