Definition:Predecessor