Kingsbury 提出两个层次的问题：维护者如何确保软件和文档的正确性；以及即使做了这些工作，如何向外部用户证明。