eq_refl
eq_SelfImprovement
eq_Type
equal
Equal
equality
Equality
equals
equation
Equations
