“The current installed power capacity of the Texas grid is 70 gigawatts.”