let empty = bottom