 So that was theater lighting. The second issue that has been debated is the so-called T8 lights. These are the tube fluorescent lights that I have in my office that are found in many offices. That are sort of traditional office lighting. Not only offices, obviously. They contain mercury, which is obviously an issue to address. And phasing them out would save 2 to 3 terawatt hours per year of electricity.