Symposium on the Occasion of the Proof (1985 Purdue University)