Indeed. And if I may add, they also know that the era of cheap oil and ever expanding production is over, too. That's why oil companies have started to pay huge dividends after the price rally last year instead of investing into more exploration and drilling. What we are seeing is a huge retirement party before the inevitable collapse of the industry.