A form of Largeness can be both a universal (hence 'many' in extension) and a single universal (henc...