proof_mode.md 19.2 KB