similarly, the third condition states that if we introduce new variable bindings as part of our unification up here, then, these new variable binding constraints must be consistent with the binding constraints that we currently have in our plan.