In autonomous progressions, ascent to a theory T_a is permitted only if a prior accepted theory T_b ...