 Exclusively-related actions also introduce the operation of negation. When an action is negated, it is not taken (or is excluded from the possibility of being taken). So, if action \(A\) and action \(B\) are related by exclusive disjunction, then if action \(A\) is taken, action \(B\) is negated, \(\neg B\).