. "That case is a challenge to the constitutionality of the federal Defense of Marriage Act, a 1996 law that defined marriage as the union of a man and a woman in connection with federal benefits." . . .