Vladimir_Nesov comments on Nisan’s Shortform