Infinite DeductionCh. 53