"a traffic light with a red