This structure follows from the example in the previous slide.