L4.6 QED: Examples | MIT OpenCourseWare | Podwise