Everything you said is correct. Jake is of course eligible to play in 2025. So if the final verdict results in the NCAA having to walk back their eligibility decisions across the board, then Jake just finished what will be retroactively considered his RS Freshman season.