Adding DestroyDomain and UndefineDomain