let
is_bottom b = equal b bottom