We sold it subject to royalties and production taxes. So the oil companies really didn't give us anything. The oil companies are not the source of our wealth. The natural resources are the source of our wealth.