Rule

Works with any order

Mutual Events Rule

For mutual events Then,