Add fuzzy.h