Vladimir_Nesov comments on Nathan Young’s Shortform