La proposición verdadera sitúa al mundo real en el conjunto de los mundos posibles: Si "Rab" es un hecho, la proposición que afirma que "Rab" distingue el hecho (llevado a cabo) de los estados de asuntos que no se han llevado a cabo.