> You'll never be able to completely encode everything. No resilient human system expects everything to be completely encoded in a written statement - it's ent

> You'll never be able to completely encode everything. No resilient human system expects everything to be completely encoded in a written statement - it's entirely unreasonable, akin to asking one prove that unicorns don't exist. The devil is in the implementation details and how the CoC is wielded.