try to make Section 6.2.1 a bit clearer