Three Stories for How AGI Comes Before FAI — LessWrong