Provides a bridge between a concrete representation of an equation to an algebraic one. Shows properties of equality concretely and algebraically.