ByNobleID
    General extinction theorems | NobleID