soundness: Difference between revisions