Unification

Es muy fàcil