Moving back fuzzy assertion