FactorialCode comments on Three Stories for How AGI Comes Before FAI