Sounds like Sinofsky as next CEO is now a dead certainty, at least if Win8 is judged a success. That is probably why he left; once you're a division president there's no other way to move up, after all.