 If the modal fictionalist were only timid, on the other hand, then the fictionalist biconditional could be used to generate a great deal of the content of the modal fiction: whether or not the fiction claims that a given proposition is true in all possible worlds (or all accessible worlds) depends on whether that proposition is indeed necessarily true; whether or not a proposition is true at some world (or some accessible world) depends on whether it is possibly true; and so on. Furthermore, an analysis of truth in fiction in terms of some modal notion (whether a counterfactual conditional, strict implication, or whatever) would not make the account circular, since analysing modal discourse would be no part of the purpose of the fictional machinery. One recent worked-out modal fictionalist approach which explicitly analyses the relevant “according to the modal fiction” operator in terms of modal operators is Divers 1999b. Among other benefits, Divers argues that this sort of definition enables one to prove a “modal safety result”: that when we have two modal claims A and B, and we have the possible-worlds-analogues of the two modal claims (call them A* and B* respectively), “Necessarily, if B* is a consequence of A* then B is a consequence of A” (Divers 1999b, p. 330). Such a safety result would be welcome, for it would provide the guarantee we needed that “detouring” in our reasoning through claims like A* and B* would not lead us astray when trying to determine whether B followed from A. 