column value
英文名稱 invariant approach
中文名稱 不變量方法