It doesn't matter one single bit WHY someone is holding Devcoin or, how they got it, or what they intend to do with it, they should be fairly compensated for their holdings if a new Devcoin is generated and old one losses value do to that ... Still say old coins for new coins, at fair market, possibly with adjusted quantities if needed, but the coins being held must be honored.