transformation of equalities working