person has been a professional boxer.