Definice nadhodnocení příkopu