Vladimir_Nesov comments on Jesse Hoogland’s Shortform