/doc/sphinx/proofs/writing-proofs/