shminux comments on Three Stories for How AGI Comes Before FAI