More dependent formulation of substitutions