(I posted the parent, and deleted it as not satisfactorily saying what I wanted to, not realizing that there was a reply. Mea culpa.)
Interesting thing is that replies to deleted comments are always by Vladimir Nesov.
(I posted the parent, and deleted it as not satisfactorily saying what I wanted to, not realizing that there was a reply. Mea culpa.)
Interesting thing is that replies to deleted comments are always by Vladimir Nesov.