Knot Logic