Definition of "terminates"