 So one of the things we also don't know from this is whether this is a tax increase or a tax cut. Given the people who proposed it, it's fair to say it's probably a tax cut. We don't know how big that is, and we don't know who's going to benefit from it. So with all that said, it's hard to know. It's also important to recognize that another part of this proposal would raise tariffs again, and that is bad for the U.S. economy. We do know that.