. . "The visible-radiation-producing light source shown in FIG. 10 is a filament lamp, but it may be an LED or other light source such as a glow discharge lamp, arc lamp, or electroluminescent lamp." . .