CFJ 3703: "If and when -N (negative N) coins are revoked from an entity, where N is a natural number, that entity's coin balance increases by N."
Revoking coins isn't an abstract math operation, it's destruction of assets. "Revoking negative coins" can't occur, for the same reason that "punching the King of England" can't occur right now. IRRELEVANT.
