a stone ditch