Vladimir_Nesov comments on Kabir Kumar’s Shortform