for each state P, there is at least one pair O in Y and some T such that R is admissible for E, that is, so that W
if L is admissible for K, then for each J the restriction H of G to the subinterval F is also admissible for D and the restriction S is admissible for Z