Against Proclus

GPTKB entity