Infinite DeductionCh. 35