He did box him in the oly's. Destroyed him. Result would be the same in the pros