historical debt
amount outstanding
The proof theory of bunched logic has an historical debt to the use of bunches in Relevance logic.
The proof theory of bunched logic has an amount outstanding to the use of bunches in Relevance logic.