Bumford, D. Universal Quantification As Iterated Conjunction. Proceedings of the AC 2013, 67-74.