Would Elop only agree to come back to Microsoft (and bring the Nokia phones) if Ballmer was fired first?