I have a follow-up question.
You identified $75 million annually as a meaningful investment in solar energy. You know that as a country, the federal government spends approximately $195 billion annually. So $75 million would seem to be not quite the proverbial drop in the bucket, but affordable in a day of $12 billion surpluses.
How was that $75 million figure reached?