Formatting
Dispatcher will check if a state is not TOP state