the.com/soundness
the promise that if a proof says yes, reality didn't lie.
logic's vowevery provable statement is actually true
twin siblingcompleteness is its mirror image
crypto stakesunsound proofs let liars forge valid lies
hard tradeoffsystems rarely get both soundness and completeness free