Does S belong in DNF?

@Grimveil