Judge: You can't ban DEI grants without bothering to define DEI