 Brogaard and Salerno (2013) accept that counterpossibles do create opaque contexts. They argue that the impossible worlds similarity semantics for counterpossibles should be “partially epistemic” (Brogaard &amp; Salerno 2013: 654), and this epistemic component explains the failure of substitution.