`†` commutes with `ι₊`.