Invertible_knot loading ...