Bumford, D. 2013. Universal quantification as iterated conjunction. Proceedings of the Amsterdam Colloquium. (Dec. 2013), 67–74.