Prediction market sequence requested — LessWrong