Validity And Soundness Examples