Class TerminalState<E>