
Are the following mentions coreferent?:
<m> made official </m> in Rumors have been floating for weeks now and we knew the 8900 would be coming sometime in early '09 and tonight T-Mobile has made it official.
</s>
<m> gone official </m> in RIM and T-Mobile USA have finally gone official with the BlackBerry Curve 8900. 