Public-policy-wise, if you want to be consistent, crude oil is a bulk commodity, and you should be able to export it. I would rather the crude go to U.S. refineries to get refined and then export the refined product because we get double, triple the money.