Claim: Mike Tyson avoided professional boxing.
Label: REFUTES