`†` commutes with `ι₋`.