 Zagzebski suggests that the resultant case will always represent an intuitive lack of knowledge. So any non-redundant addition to the JTB theory will leave the Gettier problem  unsolved.[28]  We may illustrate the application of the recipe using one of Zagzebski’s own examples, refuting Alvin Plantinga’s (1996) attempt to solve the Gettier problem by appending to the JTB analysis a condition requiring that the subject’s faculties be working properly in an appropriate environment.