Adding more comments on states, inputs, and outputs