Emergence of Q Proofs