The query can prove either the correctness or incorrectness of the answer being considered.
either we get a valid match for an answer (proving that the corresponding answer is correct), or we get a refutation in the form of a contradicted causal chain (thus proving that the other answer is correct).