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