Follow up to A Taste of Quantitative Logic.
In this talk I introduce \(p\)-means and argue they form a good quantitative analogue of first-order quantifiers. I then sketch the construction of a hyperdoctrine valued in enriched graded preorders which forms the intended semantics of a first-order quantitative linear logic.