Lecture 9: Nested Decomposition