The Gallery

generalized quantifiers