f(\phi_j) \xrightarrow{\mathcal{D}} f(\psi)