All of this paved the way for Nadella. I count it as a net gain.