x
Induction universality — LessWrong