Add state machine.
More tuples.