Definition of Divert