ByNobleID
    On congruent axioms in linearly ordered spaces. II | NobleID