 Finally, if we supplement our first-order language with plural quantifiers and variables and the predicate ‘x≺yy’ for ‘x is one of yy’ (see the entry on  plural quantification),  we can define a fusion predicate: