conclusion + typos and comments in section 3.2