[tannhaeuser]

It's not pedantic at all. Interpreting terms as "themselves" and term ordering is core to Herbrand interpretation and unification, as you know very well.

[YeGoblynQueenne]

Yes but not everyone is up for a logic programming lecture on a Sunday :)