changed name of variable for unification