ByNobleID
    On the congruence lattice of a Scott-domain | NobleID