Just to restate, these aren't budget cuts. It is actually going to expand the defense budget. I was confused at first too.