Yes, we export to the U.S. Other than that, we have exported very little. I think we may have tested some trial cargoes now and again over time, seaboard cargoes. But by far, most of our production goes into the U.S., either in the form of crude oil or in the form of products, as you state.
