
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> 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, 