let is_bottom b = (b = bottom)