1: \begin{definition} Let $\Gamma$ be a ribbon graph that satisfies the assumptions before Theorem \ref{cor:face}. Then the  subalgebra $\mathcal M_{\Gamma}=\mathrm{Im}(P^*_{flat})\subset \mathcal A^*_{inv}$ is called the {\bf quantum moduli algebra}.

2: \end{definition}

3: