There's also a strategy here for fixing academia. Cut off the spigot of subsidies for political activism, shut down the DEI office, impose minimum research expectations on unproductive faculty, and eliminate activist majors with few students. The worst will leave on their own.