Q Proofs Increasing