Note that, since the modal surrogate is formulated in terms of models (rather than in terms of the primitive modal operator), it is still not what mathematical fictionalists need. What they need is (Compact#), but one needs to show that they can get it. At this point, the options begin to diverge.