law of excluded middle

GPTKB entity