Infinite DeductionCh. 34