1.2. Decomposition primitives