Man hat vorgeschlagen: die Gesamtheit aller Dinge macht diese wahr, oder (Richard M. Gale): ein aktualer Sachverhalt, so dass x1 kein Einhorn ist, x2 keines ist usw. und alles entweder x1 oder x2 usw. ist.