非任性的神。这是最关键的一步。Boolos 在原文中详述了这步是如何设计出来，但此处不赘。他的问题，是问 A：上述问题用了逻辑学的术语「zh-hans:当且仅当;zh-hk:当且仅当;zh-tw:若且唯若;」，一般人可能难于理解。然而，运用真值表计算，可以证明以上问题等价于以下者：之后两条问题的发问对象，取决于第一条问题的答案。若 A 回答 da，余下两条问题将向 C 发问；若 A 回答 ja，余下两条问题将向 B 发问。可以证明，以此计策选出来的发问对象，必然是真实之神或虚谎之神两者之一，