 It had a pause with Biden, but Biden is very, I would say, arbitrary in his actions against big oil, and he doesn't confront them directly. But still, they are very unhappy with Biden because he at least implements some regulations and some limits on their activity.