[Dylan16807]

Doesn't really matter. The takeaway is that the light timings don't have to change. You would just make the man stop being green earlier.