This file has [moved](docs/proof_mode.md).