Definition of SUCCESSOR.