let empty = LM.empty