 And this was from a lawsuit filed by Texas Attorney General Ken Paxton just last year when the Biden administration came up with a change to Title IX. It's overall really, really good news. Certainly, we do not expect the Biden administration will be done with this issue, but...