In my opinion the original post (barring the later comment by the author) does not imply that Q is the same in the real world and in the counterfactual world. Am I wrong here?
I have been assuming that Q is the same complicated formula in both worlds.
I have been assuming that Q is the same complicated formula in both worlds.
Of course it is the same formula. And it is the same calculator as well.
This is correct. Clarified in the post.