[lern_too_spel]

ASI is as different from AOI as BB(8) is from infinity. The impossibility of AOI says bubkis about ASI.