 We've talked about this. $42.5 billion. Legislation he got passed to hook up every single home in America to the Internet. They haven't hooked up a single one. $7 billion for electric vehicle charging stations around the country. There are seven. A billion dollars apiece. So he can talk about legislation all he wants.