SV: DNF suggestion