この論理形式（ブーリアン表現）は次のように展開される（もしQへの答えが「イエス」ならば「Q」は真、もし質問された神が真実の証人として行動するならば「神」は真、もしJaの意味が「イエス」ならば「Ja」は真）。
内嵌问题引理(EmbeddedQuestionLemma)：无论向哪一位神祇发问E(Q)，若祂回答ja，则表示Q的真正答案必为“是”；若答da，则Q的真正答案必为“否”。