I suspect they’ll quit, and the “top” N percent will be picked up by Microsoft with healthy comp packages. Microsoft will have effectively purchased the company for $10 billion. The net upside of this coup business may just flow to Microsoft shareholders.