deduction and logic 2609765