proof_mode.md 17.7 KB