Why_knot_cover