Simplify 'checkNat'.