We add additional transactions that can invalidate previous transactions according to the meta-protocol that we have designed and implemented.