Added paragraph about commutativity