Illustration of the argument used in the proof of Lemma 11.
the arities of our chosen path are bounded by the maximum of three grammarspecific constants: the maximal arity of a lexical category, the arity of S (which is 0), and the maximal arity of a secondary input category.