They made a check on his calculation.

• 他们核对他的计算。