#109: define 'Definition' subsection