Vladimir_Nesov comments on exanova’s Shortform