taits knot conjectures