Maybe it's just me, but I find it difficult to conceive of someone to whom, even after discussion and contemplation, (+4+3)=(+7) is not obvious. I suppose there are such people wandering the planet, however.

Nitpick: the property observed here is associativity(sp?), not commutativity.