Vladimir_Nesov comments on “But It Doesn’t Matter”

[Vladimir_Nesov]

(See the edit in the grandparent, my initial interpretation of the post was wrong.)