形式化的成本主要来自获取（谁把专家的手感写下来）、维护（规则过期前谁更新）、校验（怎么知道写下的规则是对的）三处；当组织把形式化外包给工具时，成本可以降低，但意愿不会自动提升。