completed soundness proof