Anti-unification, part 3