 they're going to really pay down the deficit, that it's going to really make a big difference the way they're printing money? I don't think so. But getting back to Jeff Bush, that's not Jeb Bush, but Jeff Bush. Not to be confused with Jeb Bush. Or George or H.W. Bush. Yeah, that's right. But tax diversification, that is true. You want to be able to manage your...