Equalities framework

Equalities framework