proof_mode.md 25.5 KB