Earlier quoted context omitted.
A significant part of the educational budget of the US comes from federal funds and federal funds are almost entirely income taxes (some other sources exist).
Most schools receive very little funding from the federal government. Maybe the poorest school districts this makes up a significant part of their funding, but for most school districts it doesn't.
> In FY 2023, the Department of Education (ED) had $271.01 Billion distributed among its 10 sub-components.
Maybe they just burn that quarter trillion, but I suspect it ends up in the districts eventually.