Formal Knot Theory (Mathematical Notes, No. 30)