update proof of soundness