“The average steady-state power consumption of the United States is half a terawatt.”