1970 No S proof

GPTKB entity