The logic of unification.