Make more clear unification vs. implication