Vladimir_Nesov comments on Zachary’s Shortform