historical debt
recorded financial obligation
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 recorded financial obligation to the use of bunches in Relevance logic.