Anti-unification, part 4