Vladimir_Nesov comments on baturinsky’s Shortform