
Are the following mentions coreferent?:
<m> leaves </m> in Matt Smith will make his debut in 2010, replacing David Tennant, who leaves at the end of this year. 
</s>
<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. 