Comment by rwmj

I was wondering about this too. If I was going to guess I would say it could be stuff that applies to any language that uses fixed width machine types, and not only C. For example, this is not true:

  ∀a: a+1 > a

if the type of 'a' is 32 bit int. Similarly negate(a) ≠ -a for some numbers.