simplified soundness theorem