I think I really mean x_0 -> [0] + mod as the values are wrapped from [0] to [0] + mod.