For $t \in \mathbf{R}_+$, we set $S(t) = \operatorname{Ent}_{\varphi}(P_t(f))$. Justify that $S(t)$ is well defined.