Two types of successor relations between theories · Study