Why would I ever want to run Disney? Wouldn't it make more sense just to sell them Pixar and retire?