Vladimir_Nesov comments on Czynski’s Shortform