Equation
Equation
-- a type of
Expression
representing an equation.