Infinite DeductionCh. 33