Most of this money was also “allocated” but not really spent. So at least to Bidens credit money wasn’t thrown away, it just sat there not doing what it was supposed to do.