... to be substantially more possible worlds than what the rules ... possible world.
Rather than try to completely solve x ... so you get a few more inferences, sometimes you just ... biconditionals, especially when there's more than one biconditional. (N/M and ...