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. ;-)
If you agree that you are just talking about a different thing, and given that “utility” is a term understood to mean different thing from what you were talking about, kindly stop using that term for your separate concept to avoid unnecessary confusion and stop arguing about the sound of fallen tree.
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. ;-)
If you agree that you are just talking about a different thing, and given that “utility” is a term understood to mean different thing from what you were talking about, kindly stop using that term for your separate concept to avoid unnecessary confusion and stop arguing about the sound of fallen tree.
Yay!