Clearly Elop agreeing on the acquisition by Microsoft was contingent on Ballmer resigning from Microsoft, Setting Elop up as the next CEO of Microsoft. So, not only was Ballmer fired, his replacement has likely already been chosen.