 That is enormous, and that's such dead weight for the economy. By some estimates, that's cutting productivity growth by half for the average worker when they're spending 16% of their time just doing these kind of courses, which are such a burden. So I think that