Bumford, D. Universal Quantification As Iterated Conjunction. Proceedings of the AC 2013, 67-74. https://doi.org/10.53437/008fda23.