6.10.3 AraEM StateManager