ByNobleID
    Extension of valuations on distributive lattices | NobleID