The Universal Quantifier in Combinatory Logic