No, we will definitely look at this. As I said earlier, when it comes to situations such as capital leases, which we treat as liabilities on the books of the government, we do not charge appropriations for the capital cost of that lease at the time we sign the lease. So we don't have to rationalize why the two would be different. We have hundreds of millions of dollars of capital leases on the books that haven't been charged appropriations yet, and that's because, under the FAA and our interpretation of it, those do not represent a debt or an amount owing at the end of the fiscal year.
In this situation we're dealing with software, where there's a contract for services provided over a 15-year period. We're buying the service; we're not buying the product. Therefore, if the service isn't provided, we don't charge, we don't pay. So we will have to rationalize the two differences here.