Did you assume the axiom of choice? That’s a reasonable modeling decision—our estimate used an uninformative prior over whether it’s true, false, or meaningless.
Did you assume the axiom of choice? That’s a reasonable modeling decision—our estimate used an uninformative prior over whether it’s true, false, or meaningless.