Unification problems