professional boxer is a former professional boxer.