replaced "wrong" equalities by "good" equalities