Writing Proofs ============== .. contents:: |toctitle| :local: