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

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