Working on fuzzyNEXT