Test soundness.