sequences and state
reorder
state type rules
preservation with context
store update