some modifications and new content in section 5.4.4