added diagram for definition 16.3