Page "Generalized quantifier theory" not found :(