Vladimir_Nesov comments on Joseph Miller’s Shortform