The definition for Overtopped will be included in a future edition of FireWords.