column value
英文名稱 deductive proof
中文名稱 演繹證明