Add description of soundness