When dealing with complex problems it is impossible to prove to all actors which direction is correct. Actors can often only agree to the process for making decisions and not the decisions themselves. Formal organization structure therefore should not go beyond what is agreeable to the actors involved.

“Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable in the theory” – Kurt Gödel, On formally undecidable positions of Principia Mathmatica and related systems