Infinite DeductionCh. 25