
Are the following mentions coreferent?:
<m> exiting </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. 
</s>
<m> leaving </m> in After lots of speculation, Peter Capaldi has been named the new Doctor for Series 8 of "Doctor Who" He will take over for Matt Smith, the 12th Doctor, who is leaving during the 2013 Christmas Special. He joined the series, becoming the 11th Doctor, in 2010. He was the third to take on the role since the series was relaunched in 2005, 