Small changes, section 5.2 not finished