All quantification must at least tacitly presuppose a category or categories of entity over which we...