For any flexible variable v, the expression v' in an action refers to the value of v in the second state of the step.
v
v'