The least upper bound of the ordinal indices appearing in the finitist autonomous progression is the...