Analysis and Deduction