solved equalities