Formal Knot Theory