Lecture 7: Origami is Hard