L'analisi di validità in un contesto di circostanze applica la nozione formale di verità logica e i risultati ottenuti sono formalmente validi. Invece il fatto che le 9 circostanze individuate rappresentino correttamente l'insieme delle circostaze possibili nel mondo "reale" non è dimostrabile formalmente, dal momento che il mondo reale non è certo un oggetto formale. Possiamo solo fornire argomentazioni informali rigorose, che lasciamo per esercizio.
Si osservi che è la situazione tipica della progettazione del sotware: un prodotto software è di natura formale, mentre la realtà a cui si applica non ha nulla di formale. L'aderenza di un programma alle esigenze per le quali è stato costruito viene analizzata tramite le tecniche sviluppate in ingegneria del software.