To protect pedestrians, and to earn their respect for the rules, many cities have introduced a “leading pedestrian signal.” ...