User blog comment:LittlePeng9/Addition is commutative/@comment-2033667-20141002011417

As I said on IRC, I would definitely buy this if it were a poster, no joke.

What's the notation you're using for the deductions?