Definition of Ditch