substitution

Sorting Equations and Identities