wrestler is a former professional boxer.