I have just a very quick question, and I hope for a relatively quick answer.
On the F-35s, walk me through the next few months between now and our finalizing a deal with them. Correct me if I'm wrong, but I think I heard somewhere that it may end up breaking off at the end and that we'll have to go to choice number two. Is that correct?
Can you just walk me through what would happen that could lead to that and what we're working on right now? Is it just the price?