I just saw that Tyson lost to Paul on points in round 8, or something like that? Hard to believe. It must have been quite a fight.