一个算术运算产生一个判决。