1: \begin{definition}\label{def:pt}
2: We define $\tilde{p}_t=\tilde{p}_{t,1}$ if conditions of item 1 of Theorem~\ref{theorem:p_tilde_new} is met, $\tilde{p}_t=\tilde{p}_{t,2}$ if the conditions of items 2-a-ii, 2-b, and 3 of Theorem~\ref{theorem:p_tilde_new} is met, and $\tilde{p}_t=\tilde{p}_{t,3}$ if the conditions of the item 2-a-i of Theorem~\ref{theorem:p_tilde_new} is met. Note that $\tilde{p}_{t,1}$, $\tilde{p}_{t,2}$, and $\tilde{p}_{t,3}$ are characterized in Definition~\ref{def:pt1,pt2}, respectively.
3: \end{definition}
4: