Vladimir_Nesov comments on jbash’s Shortform