Be consistent on how to apply substitutions.
Plumbing
Let generalization