Vladimir_Nesov comments on Thomas Kwa’s Shortform