Quantifiers. Cuantificadores universales pospuestos