User blog comment:LittlePeng9/Addition is commutative/@comment-24509095-20141002045140/@comment-1605058-20141002051543

That's right.