done with equalities