"a traffic light with a green