 The first thing to note about this analysis is that it is “redundant” in the sense described in the previous section; the fourth condition entails the first  two.[29]  So its surface form notwithstanding, it actually represents a significant departure from the JTB+ analyses. Rather than composing knowledge from various independent components, this analysis demands instead that the epistemic states are related to one another in substantive ways.