1: \begin{definition} (Fortnow~\cite[Theorem 6.4.16]{Li})

2: A language $L$ is in PP

3: iff

4: for any polynomial $r$, there exist $f,g\in{\rm GapP}$ such that

5: $f>0$ and

6: \begin{itemize}

7: \item[1.]

8: If $w\in L$ then $1-2^{-r(|w|)}\le\frac{g(w)}{f(w)}\le 1$.

9: \item[2.]

10: If $w\notin L$ then $0\le\frac{g(w)}{f(w)}\le 2^{-r(|w|)}$.

11: \end{itemize}

12: \end{definition}