Vladimir_Nesov comments on Morphism’s Shortform