se avsnitt 7.4.1 och 7.4.2 ) .