Ideas are concrete universals in which extension and comprehension go together not only because they include variety or multiplicity in themselves, but because they include singularity in all its varieties.