Soundness and Validity.pdf