Vladimir_Nesov comments on Erich_Grunewald’s Shortform