Conversation so far:
What is the undisputed champion in boxing?
In professional boxing, the undisputed champion of a weight class is the boxer who holds world titles from all four of the major sanctioning organizations simultaneously.
What year did Mike Tyson start the journey of Undisputed heavyweight champion?
In 1987, Mike Tyson began his journey of undisputed heavyweight champion in a match against James Smith.
Who did Mike Tyson fight after James Smith in 1987?
Mike Tyson beat Pinklon Thomas in May by TKO in the sixth round.
What year was the fight between Mike Tyson and Pinklon Thomas?
Mike Tyson beat Pinklon Thomas in May 1987 by TKO in the sixth round.
Was there anything else interesting in this section about Mike Tyson in 1987?
Mike Tyson came to the attention of gaming company Nintendo.
Did Mike Tyson work with Nintendo?

Question: Did he do any contracts with them?
Self-contained rewrite: Did Mike Tyson do any contracts with Nintendo?