In this paper I critically examine Brian Leftow’s attempt to construct a theistic semantics for counterpossibles, one that can be used to make sense of the fact that propositions, which exist necessarily, nevertheless ...