let
is_top x = equal x top