Definition of "overtakes"