small clarifications - added definition of state