 It is condition (ii), Kratzer argues, which deals with Gettier cases. Take the second type of case discussed by Gettier. Smith is justified in believing the false proposition that Jones owns a Ford. Therefore he is justified in believing the proposition that Jones owns a Ford or Brown is in Barcelona. Now Brown happens to be in Barcelona, but Smith has no idea about where Brown is—in particular, he is not justified in believing that Brown is in Barcelona. Intuitively, Smith does not know the disjunctive proposition he is justified in believing. But that proposition is true, and so the standard analysis of knowledge fails. The analysis in terms of beliefs de re of facts fares better, Kratzer argues. For, she claims, the fact exemplified by the disjunctive proposition is the fact that Brown is in Barcelona, and Smith’s belief is not a de re belief about that fact.