Vladimir_Nesov comments on oligo’s Shortform