Dmitry Vaintrob comments on Dmitry Vaintrob’s Shortform

[Dmitry Vaintrob]

Thanks so much for this! Will edit