Vladimir_Nesov comments on moridinamael’s Shortform