Symposium in Pure Mathematics (1980 Queens University, Kingston, Ont.)