Flowchart and paragraph proofs