A (bad) Definition of AGI — LessWrong