... together), would that turn this not both rule into a biconditional (always ... />
It's still not a biconditional. M ~N means ... that they can't both be selected, not that one must be ... is confusing, think of the "not both" rule as a "~M or ...