Thank you, Mr. Chair.
Welcome, gentlemen.
There was a distinct budget established for the joint strike fighter program, and there was a distinct budget for the procurement and sustainment of the F-35s.
The joint strike fighter budget was for a design and development program. So that was completely separate. It's my understanding, according to the report, that budget was $710 million. To date, according to your report, $335 million has been disbursed from the joint strike fighter program budget.
Can you please confirm that this $335 million disbursement was not a part of the procurement budget, and in fact, that no money has been spent on purchasing F-35s?