I may have missed it, but I assume we don't know for sure if Indiana had to pay a buyout to Dayton? With Archie under contract through 2023, I'd sure hope so. But I know it's been said that Archie may have had a few "no buyout" schools in his contract and that Indiana may have been one of them.