In [5] it was shown that to complete Herbrand's argument for his Fundamental Theorem (see [6]) a weak analyzing function for certain applications of the rules of passage is needed. The following theorem describes such a function. (We use the terminology and notation of [5] except that, for each schema S and each p ≧ 1, we shall write D(S,p) rather than DSp for the domain of order p generated by S. In addition, we shall say that an element of D(S, p) is of order k, 1 ≦ k ≦ p, if it belongs to D(S, k) but not to D(S,k—1).)