Improve the consistency of the paragraph.
However, if the state includes variables, then if those change value, we can be at the same program location with different variable values. In a different state in the program's state space.
However, if the state includes variables, then if those change value, we can be at the same program location with different variable values, meaning in a different state in the program's state space.