Notes for AKT-090917-1/0:28:15

Claim: ${\mathcal {D}}_{m}$ corresponds to the set of chord diagrams. (Deduce that there are at most finitely many linearly independent invariants of type $m$.)