And by the way, it was public research dollars, over the course of 30 years, that helped develop the technologies to extract all this natural gas out of shale rock -- reminding us that government support is critical in helping businesses get new energy ideas off the ground.