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