Three Oracle designs — LessWrong