 This characterization of substitutional quantification allows for substitutional variables of different syntactic categories, whether singular terms, predicates or sentences. Indeed, substitutional quantification is often used to mimic quantification into predicate and sentence position of the kinds discussed later in this entry.