Vladimir_Nesov comments on Tomás B.’s Shortform