Crossing_number_inequality loading ...