 Note that ‘Uxy’ is bound to hold if one assumes the existence of a “universal entity” of which everything is part. Conversely, ‘Oxy’ would always hold if one assumed the existence of a “null item” that is part of everything. Both assumptions, however, are controversial and we shall come back to them below.