“…It is also required, see condition (1), that in a neat subderivation the sets of letters occuring on each level are the same. 2) If y is in { 0, ..., k} and A is a letter from Min (xj) 9 then A is big (small, unique, multiple, recursive, nonrecursive) in Xj if and only if A is big (small, unique, multiple, recursive or nonrecursive respectively) in x t for every t in {0, ...,&}.…”