It would be clearer had K&R said specifically, in section 7.4, that addition is commutative. I'm not *blaming* K&R -- to me the intent was clear -- but more than one compiler writer has misinterpreted the passage.