All we've done is checked that the first two creditors divided their collective share of $125 appropriately
All the creditors divided their shares appropriately.
mnli hypothesis: All the creditors divided their shares appropriately. premise: All we've done is checked that the first two creditors divided their collective share of $125 appropriately