Note that the output values depend on the current state and change when the state assignment changes. Note also that, while there are 16 states in the Figure program, only 12 of them are valid states.