Notes for AKT-091008-1/0:21:48

Aside: [math]\displaystyle{ W_{\mathcal{G}} }[/math] (without the representation) makes sense on [math]\displaystyle{ \mathcal{A}(\phi) }[/math] (trivalent diagrams without skeleton) with the option to mod out by the AS and IHX relations.