mtreder comments on What I would like the SIAI to publish