1: \begin{definition}

2: Given a canonical polygonal schema $\{\mathcal{C}_k\}$, a \textit{canonical encoding scheme} is the choice of encoding cocycles $C'_k:=E_k$. This is a valid one by Theorem \ref{encthm}.\newline

3: \end{definition}