To ease the discussion, let \(C\) be Bob’s assumption in (S): that is, \(C\) is the statement “Ann believes that Bob’s assumption is wrong.” So, (Q) asks whether \(C\) is true or false. We will argue that \(C\) is true if, and only if, \(C\) is false.