Domain and propositions of succession theory