Isn't the answer D? From predicate logic, the negation of forall() is existsone().