Universal quantification as iterated conjunction