 Note on terminology. For ease of communication we will use the word “plurality” without taking a stand on whether there really exist such entities as pluralities. Statements involving the word “plurality” can always be rewritten more longwindedly without use of that word. For instance, the above claim that “all pluralities are non-empty” can be rewritten as “whenever there are some things \(xx\), there is something \(u\) which is one of the things \(xx\)”. Where an ontological claim \(is\) made, this will be signalled by instead using the locution “plural entity”.