Infinite DeductionCh. 52