公式化真的有用