Removed Ruud CNF for Ferry's