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