Comment by fn-mote

To clarify:

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