Et fikseerida, mis tähendab, et S teab, et p, püütakse leida tarvilikud ja piisavad tingimused selleks, et S teaks, et p. Olgu need tingimused A1, A2, …, An. Siis igaüks neist on tarvilik selleks, et S teaks, et p: kui S teab, et p, siis kehtib A1; kui S teab, et p, siis kehtib A2; …; kui S teab, et p, siis kehtib An. Ja kõik tingimused kokku on piisavad selleks, et S teaks, et p: kui kehtivad tingimused A1, A2, …, An, siis S teab, et p. Kokkuvõttes: S teab, et p, siis ja ainult siis (ehk: parajasti siis), kui kehtivad tingimused A1, A2, …, An.