 That was one of the main assets of the federal government set against the $35 trillion in debt. So apparently he's just giving that away. He's giving it to buy votes. But of course, what rankles is that he's giving it to relatively rich people, right? So the average college educated person in America makes something like twice what somebody does who's a dropout. But those dropouts are going to get taxed to give these handouts to buy the votes from the college educated.