let do_gt min1 max1 min2 max2 =
    do_lt min2 max2 min1 max1