Vladimir_Nesov comments on puccibets’s Shortform