Proof Synopsis 2026