Mark_Friedenbach comments on A taxonomy of Oracle AIs