Definition of Soundness