 In addition to the requirement of effectiveness, Church also demands that proofs should be constructive. However, in later years his attitude became more ecumenical. See (1936b: fn. 10 added 1971 [BE: 128]).