Vladimir_Nesov comments on boazbarak’s Shortform