In the middle of writing Section 5.4