environment unification