If Disney . lost Marvel completely, do you think it would be better for Warner Bros to buy Marvel or would that be a bad thing?