Title: Notre Dame Journal of Formal Logic; Volume XXIII, No.3; July, 1982