soundness check