Deduction after action on the condition