column value
英文名稱 automated proof
中文名稱 自動化證明