well, this is actually covered by this algorithm, when you select a1 and a2 to be the same action, then it produces both the propositions we're looking at, and of course an action is never mutually exclusive to itself.