
Are the following mentions coreferent?:
<m> leave </m> in Matt Smith has time to come to terms to the task ahead, as current Doctor Who, David Tennant will not leave the BBC show until the end of 2009. 
</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. 