let
diff x y =
if
is_included x y
then
bottom
else
x