Port-Royal Logic

GPTKB entity