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 option to mod out AS and IHX relations