1: \begin{definition}

2: A finite collection $\mathcal{P} = \lbrace \mathcal{A}_1 , \mathcal{A}_2, \cdots, \mathcal{A}_p \rbrace$ of subsets of $\mathbb{R}/\mathbb{Z}$ satisfying the five properties of Theorem \ref{complete antiholomorphic} is called a \emph{formal orbit portrait}. The property (4) of Theorem \ref{complete antiholomorphic} implies that each $\mathcal{A}_j$ has a complementary arc of length greater than $\left( 1 - 1/d\right)$ (which we call the critical arc of  $\mathcal{A}_j$) that, under multiplication by $-d$ covers exactly one complementary arc of $\mathcal{A}_{j+1}$ d-times (which we call the critical value arc of $\mathcal{A}_{j+1}$) and the others $\left( d - 1\right)$-times. 

3: %We label all the critical value arcs as $\mathcal{I}_1, \mathcal{I}_2, \cdots, \mathcal{I}_p$. 

4: \end{definition}

5: