7.1.7 Flowchart proofs