fixed definition 3 in subsubsection 4.3.1