is true S believes that p if p were true, S would believe that p if p weren't true, S wouldn't believe that p Nozick's definition is intended to preserve Goldman's intuition that Gettier cases should be ruled out by disacknowledging "accidentally" true justified beliefs, but without risking the potentially onerous consequences of building a causal requirement into the analysis. This tactic though, invites the riposte that Nozick's account merely hides the problem and does not solve it, for it leaves open the question of why Smith would not have had his belief if it had been false. The most promising answer seems to be that it is because Smith's belief was caused by the truth of what he believes; but that puts us back in the causalist camp. Criticisms and counter examples (notably the Grandma case) prompted a revision, which resulted in the alteration of (3) and (4) to limit themselves to the same method (i.e. vision): p is true S believes that p if p were true, S (using M) would believe that p if p weren't true, S (using method M) wouldn't believe that p Saul Kripke has pointed out that this view remains problematic and uses a counterexample called the Fake Barn Country example, which describes a certain locality containing a number of fake barns or facades of barns. In the midst of these fake barns is one real barn, which is painted red. There is one more piece of crucial information for this example: the fake barns cannot be painted red. Jones is driving along the highway, looks up and happens to see the real barn, and so forms the belief I see a barn Though Jones has gotten lucky, he could have just as easily been deceived and not have known it. Therefore it doesn't fulfill premise 4, for if Jones saw a fake barn he wouldn't have any idea it was a fake barn. So this is not knowledge. An alternate example is if Jones looks up and forms the belief I see a red barn. According to Nozick's view this fulfills all four premises. Therefore this is knowledge, since Jones couldn't have been wrong, since the fake barns cannot be painted red. This is a troubling account however, since it seems the first statement I see a barn can be inferred from I see a red barn; however by Nozick's view the