Bumford, D. (2013). Universal quantification as iterated conjunction. Proceedings of the Amsterdam Colloquium, 67-74. https://platform.openjournals.nl/PAC/article/view/22438