Jack Coan redshirted during the covid season. So, he could have had the 2020 season over, which would have essentially meant repeating a redshirt. He played 4 years under non covid restrictions, which meant he used his last year of eligibility in the one year with ND. There was never any doubt from those who understood how the rules were written. Hope this helps.