An 8% cut in the military budget?