states and transitions added