 It is the gas prices are likely to start ticking back up. A couple of reasons for that. One, the summer demand always means end of summer uptick. They raise their prices because everyone's buying so much gas. And that, of course, puts a little bit more strain on the distribution and refining and all that.