ByNobleID
    Generalized quantifiers and measure theory | NobleID