let is_bottom b = equal b bottom