I think I heard some politico say on the news that the defence budget was not being touched. Has anybody else heard anything?