Some of the details are included in our submission, but in terms of the annual expenditure for education-related tax credits—there's the education tax credit, the tuition fee credit amount, and there's student loan interest in there—the total price tag each year that the federal government sees go out the door in terms of federal tax expenditures on education is over $1 billion.
I think now it's close to $1.12 billion per year, which, as Shamus said in his remarks, is double the budget of the new grants program.