Alternatively, maybe we're still talking past each other for the reasons suggested here (which everyone seemed to agree with at the time.) In which case, I wonder why we're still having this conversation at all, and apologise for my part in pointlessly extending it.

It's probably because I replied to an unclosed subthread, causing an unintended resurrection. Also, at one point Vladimir Nesov did some resurrection too, and there have also been comments by Cyan and Saturn that kept things going.

Anyway, yes, as you said, we already agreed we are talking about different things, so let's stop now. ;-)