Equalities resolutions