1968 No S proof

GPTKB entity