"By voiding some contracts that the pooling types would like the court to enforce, the court is able to induce them to separate, and hence to im" . . . .