Add some notes from section 6.4