Bumford, Dylan. “Universal Quantification As Iterated Conjunction”. Proceedings of the Amsterdam Colloquium, Dec. 2013, pp. 67-74, https://platform.openjournals.nl/PAC/article/view/22438.