Vladimir_Nesov comments on Anders Lindström’s Shortform