let is_top x = equal x top