...
- The state of an Instruction as a whole is distinct from the state of each of the Activities
- The process of keeping track of Actions and changing states with respect to Instructions is probably worth formalising. To make this easier I have added some regions to the above diagram.
Instruction State
...