Vladimir_Nesov comments on Buck’s Shortform