Q Proofs 2025