There are several occurrences of *fuzzy*. Should they all be removed?