[+][-]StateManager is defined.