evolution and origin of proof theory 8847604