Many Turing Machines — LessWrong