Quantification without bound variables