nick012000 comments on What I would like the SIAI to publish