Would DAO:s then require to be released together with mathematical proofs [0], for the creators to be free from responsibility? [0] Assuming they'd be clearly

Would DAO:s then require to be released together with mathematical proofs [0], for the creators to be free from responsibility? [0] Assuming they'd be clearly enough defined, where the proven mathematical statements have a meaningful and useful correspondence to the marketing statements.