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