Definition of "departs"