1: \begin{definition} The comparison between $Y$ and $\bar Y$ will be called \textbf{strict} on $[s,T]$ if the conditions of Theorem \ref{thm:CompThm} hold, and, for any $A\in\mathcal{F}_s$ such that $Y^1_s=Y^2_s$ $\mathbb{P}$-a.s. on $A$, we have $Y^1_u = Y^2_u$ on $[s,T]\times A$, up to evanescence.

2: \end{definition}

3: