1: \begin{definition}\label{def:pi-formal}

2:   If $A$ satisfies the (equivalent) conditions of

3:   Theorem~\ref{thm:representable} then we say that $A$ is

4:   \emph{$\pi$-formal}.

5: \end{definition}

6: