Assertion: chart's position | /r/HasProperty | next command
Facets:
Source sentences:
text: In the previous case, the program would be in the same state, because the whole state is just the program counter, so if the program counterpoints to the same position (next command) it suffices to specify that we are in the same state.