predecessor

not defined yet