Vladimir_Nesov comments on nikola’s Shortform