Vladimir_Nesov comments on CharlesRW’s Shortform