逻辑上的可能性是一种“真势”（alethic）可能性；（4）做了对一个数学真理曾经为假是否可能的一个断言，而（3）只做了对“就Jones所知而言”这个论断被证实为假是否可能的一个断言，所以Jones还是不自相矛盾。
n ɬqr ʁʑɣ^r çɣr χɣr ɣɣ^n khqɣ^r ʁqr tɕhqk tsʁɣ^r“tsʁɣk ʁqr”(en)ɐlˈɛθɪk(cmn) χɣr ɣɣ^n khqɣ^r (fi) aur ɣr çqr yiqk ɣ^ɣr ʁr uiɣn auʁɣk qr ʝɣɣ^n ɬqɣ^k øiɣqr ɬqʑr ʁqr xr χɣr ɣɣ^n çɣr yiqk ɣ^ɣr çʑr yiʑn ɣn tsʁqr tsr ɣr çqr“ɬqr (en)dʒˈəʊnz(cmn) r tsʁqk ɣn tɕhʑn”tsʁɣr ɣ^ɣr r çʑr ɕɣqr tsʁɣɣ^r ʁqn thɣqr ɬqʑr ʁqr xr χɣr ɣɣ^n çɣr tɕhqk ɣ^ɣr çʑr tɕhʑn r tɕhqr (en)dʒˈəʊnz(cmn) ʁʑqn ʁqr ɕr tsqr khqʑɣ^k ʑn çr