Key Provision of DOMA Goes Down