Rewriting of section 8.1