Loading paper
Additivity, subadditivity and linearity: automatic continuity and quantifier weakening | Tomesphere