“If you absolutely must use white LEDs, you could do what Tucson has done,” Hall said. “They... switched out their whole high-pressure sodium system to 3,000 degree white but reduced their lumen budget for street lighting from 480 million to, like, 170 million [lumens] or something. And you need to do that. For every white LED lumen, you're increasing your skyglow by a factor of about three, but they cut the lumen budget by about a factor of three. So overall, they managed to wash out the skyglow because they’ve got a lot of observatories down there.”