Vladimir_Nesov comments on abramdemski’s Shortform

[Vladimir_Nesov]

haven’t heard this said explicitly before

Okay, this prompted me to turn the comment into a post, maybe this point is actually new to someone.