Notes for AKT-090922/0:51:57

Analogously, there are finite type invariants for framed knots and we have:

Theorem: Any $W$ satisfying the 4T relation comes from an invariant $V$ of framed knots.