 There have been some moves related. By the way, not everything is bullish for markets about Trump. A lot of economists think that his agenda would be inflationary. We've talked about this before, but he wants to impose new tariffs on imports. That pushes prices up, not down. And he wants to deport all kinds of undocumented immigrants, which could push labor costs up.