equational reasoning: Thinking in terms of values and expressions that can be substituted in all contexts (like math equations)