Are you happy DOMA is dead?