Mutual Exclusion Checks
Two actions are mutually exclusive if
- one deletes a precondition or + effect of the other
- one precondition of each are mutually exclusive at the previous proposition level
Two propositions are mutually exclusive if every way of creating one is mutually exclusive of every way of creating the other