 Instead they are defined solely through commutativity over sequences of actions.A set formula_6 is (weakly) stubborn at s, if the following hold.D0 formula_7, if execution of the sequence formula_8 is possible and leads to the state formula_9, then execution of the sequence formula_10 is possible and will lead to state formula_9.