the labels "State, Machine [...] the value State, Machine [...] for the state of the machine
the trajectory of a machine [...] " functionality. State