This post has moved to /commutativity.html.