The military and immigration must have a definition of marriage.
Good point. Although it might be argued that DOMA and the Edmunds Act, as examples, apply to the military.