The insane Lia Thomas saga has finally been put to bed.

The University of Pennsylvania reached an agreement with the Department of Education on Tuesday. UPenn will apologize to swimmers affected by being forced to compete against or with Thomas, a man who started his college career on UPenn’s men’s swimming team before “transitioning” to the women’s team. UPenn will also “adopt biology-based definitions for the words ‘male’ and ‘female,’” according to the Education Department, and will vacate Thomas’s records and titles as a UPenn swimmer.