In our example, then, all of the following are true: (i) (e) is true, (ii) Smith believes that (e) is true, and (iii) Smith is justified in believing that (e) is true.
În exemplul nostru, atunci, fiecare dintre următoarele este adevărată: (i) (e) este adevărată, (ii) Smith crede ca (e) este adevărată, si (iii) Smith este întemeiat sa creada ca (e) este adevărată.