This is still not fully commutative, which would mean that interchange in the category itself implies commutativity. Tags: sesquilaw, monoidal distributive sesquilaw.
