translation of section 6.3