Law of excluded middle

GPTKB entity