Vladimir_Nesov comments on Mati_Roy’s Shortform