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