 where “PW” is the fiction of possible worlds, P is any proposition, and P* is its possible-worlds “paraphrase” (Rosen 1990, p. 335). In simple cases the above biconditionals will do as they are: for example,