The biggest pushers of no domestic gas are the producers and finance guys. They make a lot more money on exports.