 And he got them to pony up $130 billion more in spending while he was in office. And before he left office, they had committed by 2024 that they would spend $400 billion more. We're now at 2024, and the projection is $500 billion. So that means 510. So that means 80% of it is Trump.