As I show in a recent paper, one can also replace the possibility operator in (5) with a conceivability operator (in the 2D-semantics sense). Some of the arguments below may be more plausible to you after this replacement.
Press the back button on your browser to go back to the post