paying notes stack high
bound in paper proof nets ___