Decomposition and substitution