Bumford, D. (2013). Universal quantification as iterated conjunction. Proceedings of the Amsterdam Colloquium, 67-74. https://doi.org/10.53437/008fda23