
Are the following mentions coreferent?:
<m> set </m> in Peter Capaldi is officially set to replace exiting star Matt Smith as the TARDIS leader, producer Steven Moffat announced on the live BBC special Doctor Who Live : The Next Doctor Sunday. He appeared opposite David Tennant in The Fires of Pompeii in 2008 as Caecilius and had a major role on Torchwood : Children of Earth, the Doctor Who spinoff series. He also appeared in Brad Pitt's World War Z as a World Health Organization doctor, or W. H. O. doctor for short. 
</s>
<m> become </m> in Peter Capaldi is the bookies' favourite to become the next Doctor Who. There has been a surge in bets on Capaldi, who plays sweary spin doctor Malcom Tucker in The Thick of It, replacing Matt Smith. He now has odds of 2 / 1 to become the 12th Time Lord above Ben Daniels and Rory Kinnear. 