I'm not sure about that, but Ballmer should leave regardless. Microsoft did OK in the 2000s, but largely played catch-up to Apple and Google and now lags in categories it wants to lead. Some fresh leadership could do Microsoft a world of good.