To summarize the main technical results of this section: If fails to be knowledge solely for lack of the fourth condition's being satisfied, the conjunction 'p, and I believe that (via M)' (or, equivalently, 'I correctly believe that (via M)') satisfies all four conditions.