let
empty = bottom