variable: we need the variable number, and not the version, we evaluate the variable x0 over the state.