Terms like 'individual' function as sortal predicates applicable across indefinitely many entities, ...