Definition of Predecessor