Se avsnitt 7.1.2 och 7.4.2 .