successivity

not defined yet