The green light at this intersection lasts only over 20 seconds, but the red light lasts twice or even three times as long' ...