#9: README.md, re-define 'Definition' subsection