Proving Darwin

GPTKB entity