Validity And Soundness In A Deductive Argument