single variable in equalities