Dictionary: “形式化”