Se avsnitten 3.3.4 och 3.3.5 ovan .