In the left successor state, it adds the constraint of the decision, whereas it adds the negation of the constraint in the right successor state.
A decision corresponds to a choice a search procedure makes when moving from one state to a successor state.
Second, some states have no legal successor state but cease to exist; in such cases, the ratifications performed by the state are disregarded.
A successor state axiom is a formalization in logic of these two facts.
If another 1 is read, there is no successor state.
In this situation, any ratifications performed by the defunct state are transferred to and attributed to the successor state.
Where there was an immediate successor state, membership would normally devolve on that state.
Neither state sought sole successor state status.
