
Are the following mentions coreferent?:
<m> launch </m> in T-Mobile has officially announce that they will launch the new RIM BlackBery Curve 8900 sometime in mid-February. Previously, the date of February 11 was leaked. 
</s>
<m> launch </m> in T-Mobile USA will launch Research In Motion's BlackBerry Curve 8900 in February, further strengthening its smartphone lineup in 2009. T-Mobile has not released a specific launch date or pricing information. 