EDT solves 5 and 10 with conditional oracles — LessWrong