Anti-unification, part 1