Reference. Finite audit-budget feasibility [ftip-00J6]
✍️source

    A finite audit plan must fit its declared additive budget. The effect of adding a stage beyond the remaining slack is given in Theorem [ftip-00HX].