Finish unification functions