let is_bottom m = (m = bottom)