
$ t \to D_f(t)$
