Is it possible to leave this out (not to assume anything about commutativity)? What sorts of problems do we run into if we leave this out?