Notes for KnotTheory