Prediction markets for social deduction games — LessWrong