let do_ge min1 max1 min2 max2 =
    do_le min2 max2 min1 max1