Vladimir_Nesov comments on paulfchristiano’s Shortform