DOD lost ten trillion.
So basically they've lost every single dime of their total budget over the last twenty years?