History_of_knot_theory loading ...