PBR theorem

GPTKB entity