let
is_diseq a b =
(is_empty a
&&
is_full b)
||
(is_full a
&&
is_empty b)