used by the military.