Proofs 2025