I think the "Morez vs Mirkovic" discussion isn't really accurate though, right? It was really Morez vs Tomi, in terms of who we prioritized.
And no, we didn't win that trade either way, because Michigan won a title and we went home. Not that we would have necessarily won with Morez, but you...