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