形式化方法不是银弹，但它们是追求可靠系统的重要工具。

现代性是一个未完成的计划，需要持续的批判性反思和民主更新。

Trust is the expectation that arises within a community of regular, honest, and cooperative behavior, based on commonly shared norms, on the part of other members of that community.