Definition of "succeeds"