A stop light at an intersection is red