infinite deduction subeng