infinite deduction eng