Vladimir_Nesov comments on What I would like the SIAI to publish