A permanent, distributed ledger of morals would at least be a nice gift to future historians. Now if only we could establish a correctness proof as well...