add logic deduction