So Musk decimated staffing across the government, effectively shuttered multiple agencies, and ended most foreign aid, education, and science funding, while only trimming around $150B out of the budget??? Sounds like government was actually REMARKABLY efficient before he came along.