What is a better use of a state machine fabric than to implement a CPU in it? Why is linear / nested execution so useful? What about this: start with thinking of every machine as a CPU executing code. Then implement it by stripping away functionality. What about flattening programs into linear execution states? Maybe most of this is about hierarchy of state representation.