slice_ribbon_conjecture