Conversation so far:

Question: When did Tyson start boxing professionally?
Self-contained rewrite: When did Mike Tyson start boxing professionally?