Reminder from last time:
Space of knots ; space of finite type knot invariants ; weight systems of finite type invariants where
We proved that is a graded commutative co-commutative bi-algebra.