The English claim asserts, in particular, that there is a student. The formula, on the other hand, asserts that there is a non-student (or something else is true). Indeed, recall that is equivalent to . Since S(x) in the premise of the implication, it is, so to speak, under negation.

More formally, the formula is true in an interpretation where the domain contains at least one non-student. If x is instantiated with this person, then the premise of the implication is false regardless of y, so the implication is true.

Correct formulas are and .