Anti-unification, part 2