partition soundness