And of course, we can expect that Ballmer will still be around...