Infinite DeductionCh. 40