text added in section 5.6