column value
英文名稱 correctness proving
中文名稱 正確性證明