Self-Resolving Prediction Markets — LessWrong