predecessor method