NunoSempere answers How “should” counterfactual prediction markets work?