 The two observations are related. Prior’s theorem provides a witness to the claim that some propositions cannot be Queried uniquely. If the proposition expressed by the condition \(\forall p(Qp\rightarrow \neg p)\) is the only proposition that is Queried, then it is true if and only if it is false. So, it can only be Queried if it is false. But it is false only if something true is  Queried.[15] 