Ha, excellent :-) I learned something, thanks.

(The greater point still stands, terms and unification and all that.)