#75: minor language change, remove last sentence in Definition subsection