What if the Seventh Doctor had appeared in 1986?