fix unification on relations