let empty = (M.empty, S.empty, None)