OPERATION Q PROOFS