Vladimir_Nesov comments on Bob Jacobs’s Shortform