The DoE budget has essentially been static despite about a 10% enrollment decline since 2020. We also spend the most, by far, per student of any education dept in the country.