Inference And Deduction