fixed figure 8. definition 1 and definition 2 in subsection 4.3.