So the answer, finally, regarding how these houses are being paid for isn't something neutral like, 'Defence Housing will pay for it itself.' It's not going to come from a specific line item in the budget. It's going to be paid for by Australian taxpayers under a secret trilateral cost-sharing agreement under AUKUS. That's how the houses will be paid for. Is that what we should understand?