Selling Marvin to a market value of 1 billion is not a problem; the current market value is 9 million.