7.1.3 Intro to Flowchart Proofs