Improved rewording of the soundness section.