4-7 Mixed Proofs Notes.pdf