infinite deduction