
Are the following mentions coreferent?:
<m> leaves </m> in This weekend Doctor Who fans finally learned who would play the eleventh Doctor after David Tennant leaves the role. 
</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. 