Vladimir_Nesov comments on Embee’s Shortform