How "should" counterfactual prediction markets work? — LessWrong