mnli premise: (That is, with any other division, some pair of creditors would have its collective share divided incorrectly.) hypothesis: Collective shares are not divided correctly for some creditors. 