This represents an event and targetState pair that can be written as event to state
event to state
The event: E will be the first element of the pair
The targetState: S will be the second element of the pair.