finished soundness