. . "One can now see that there are two ways in which the assertion can be false; one is if there is no x such that x is K, and the other is if there is an x but x is not bald." . .