Formal Knot Theory by Louis H. Kauffman