Infinite DeductionCh. 55