Infinite DeductionCh. 51