Does the Department of Education only spend on higher eduction? No (though the bulk of its spending is on higher ed, through Pell Grants and student loans), so you might want to either adjust that number, or clarify that it’s the DoE’s budget request pertaining to higher ed.