 Theorem 5.12  played an important role in determining the exact strength of some fragments of \(\bZ_2\). The major ordinal-theoretic results pertaining to subsystems of \(\bZ_2\) of the pre-1980 area given in the next  theorem.[31]