Vladimir_Nesov comments on steven0461′s Shortform Feed

[Vladimir_Nesov]

There’s now further clarification in this thread.