q proofs