Yes — and this possibility has been factored by the market into that $42 price. It's among the reasons why the stock isn't trading significantly lower.