If you cannot formally write down what a logical counterfactual is, and I can't, there is no way that your Q*'s expectations counterfactually correlate with Q. Being able to write down the gross formula correctly is a necessary though not sufficient condition.

→ View original post on X — @esyudkowsky,