se avsnitt 3.4.2 och 3.5.3 ) .