I wasn't suggesting they buy Docker's (former) compute-infra business but that it would be a good complimentary buy to Microsoft's or one of the other compute-infra player's businesses to own Docker since it is an additional tap into the developer market.