MichaelAnissimov comments on SIAI—An Examination