... for this. Since the rule is "or, but not both," neither /A ... both could be in or both out, respectively - or, in this case ... that both sides act as sufficient and necessary conditions.
This ... before M, and vice versa. Or, If after M, K must ...