general knot theory