let
is_top x = equal top x