Abstract Adding multi-modalities (called subexponentials ) to linear logic enhances its power as a logical framework, which has been extensively used in the specification of e.g. proof systems, programming languages and bigraphs. Initially, allowed for classical, linear, affine or relevant behaviors. Recently, this framework was enhanced so allow commutativity well. In work, we close cycle by c...