DOMA Is Dead. Hooray!