Infinite DeductionCh. 30