Validity And Soundness Definition