Vladimir_Nesov comments on Sherrinford’s Shortform