A way of making intensional quantification explicit