Title: Quantification in Algol-like languages