ISI 2025 2MB Proofs