let is_bottom = (=) bottom