We present an atomic decomposition of substitution into erasure, duplication and (for bound variables) scoping.