Is there a really good reason for keeping DEC rather than just letting it just flow out of the ecosystem and go away? It doesn't seem to have a use that isn't filled by one of the other currencies.