What must hold between the two stages of jamʿ with taqsīm?

Jamʿ, Tafriq and Taqsim: Individual, Combined and Exhaustive Forms

• Each stage concerns a different group
• Both stages relate to the same plurality
• Specific judgments must always precede grouping
• Second stage must negate first