Quantifiers and Approximation (Extended Abstract)