You seemed to be disagreeing with me, but declined to say just what your disagreement was. So I had to guess, and I tried to respond to the criticism I thought you were making. Now it appears that we are in agreement. Fair enough; what then was your point?

(My point, in case it wasn't obvious, was that I think Eliezer erred when he wrote that the only legitimate use of definitions is to ease communication; I think they are sometimes helpful in private thought too.)