“Sound” != proof of soundness in the same way that the Riemann Hypothesis being true is not the same as RH being proven.