some additions to text in sec 9