Infinite DeductionCh. 54