Unification library